package org.xtremeobjects.anotations.constraints;

import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;

/**
 * A postcondition to an operation is a restriction that must be true 
 * at the moment that the operation has just ended its execution.
 * @author Juan
 *
 */
@Retention(value=RetentionPolicy.RUNTIME)
public @interface Post {

}
